Anil Nerode : rechercher sur Z-Library

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres (39)
Les plus populaires
Liste
- Liste
- Tableau

应用逻辑

机械工业出版社

Anil Nerode Richard A.Shore

Année:

2007

Langue:

chinese

Fichier:

PDF, 18.31 MB

0 / 0

chinese, 2007

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

Année:

2018

Langue:

english

Fichier:

PDF, 7.00 MB

0 / 0

english, 2018

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 4.32 MB

0 / 0

english, 2013

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

Année:

2016

Langue:

english

Fichier:

PDF, 8.83 MB

0 / 0

english, 2016

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 6.28 MB

0 / 0

english, 2007

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

The MIT Press

Luis Moniz Pereira, Anil Nerode

Année:

1993

Langue:

english

Fichier:

PDF, 21.91 MB

0 / 0

english, 1993

Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.)

Année:

1994

Langue:

english

Fichier:

DJVU, 3.17 MB

3.0 / 0

english, 1994

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 7.65 MB

0 / 0

english, 2009

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Année:

1995

Langue:

english

Fichier:

DJVU, 4.14 MB

0 / 0

english, 1995

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 8.34 MB

0 / 0

english, 2007

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Springer-Verlag

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Année:

1990

Langue:

english

Fichier:

DJVU, 1.01 MB

0 / 0

english, 1990

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

The MIT Press

Luís Moniz Pereira, Anil Nerode

Année:

1993

Langue:

english

Fichier:

DJVU, 8.09 MB

0 / 0

english, 1993

Hybrid Systems IV

Springer-Verlag Berlin Heidelberg

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Année:

1997

Langue:

english

Fichier:

DJVU, 4.97 MB

0 / 0

english, 1997

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Année:

1995

Langue:

english

Fichier:

DJVU, 6.46 MB

0 / 0

english, 1995

Hybrid Systems IV

Springer-Verlag Berlin Heidelberg

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Année:

1997

Langue:

english

Fichier:

PDF, 26.84 MB

0 / 0

english, 1997

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Année:

1997

Langue:

english

Fichier:

DJVU, 4.27 MB

0 / 0

english, 1997

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Année:

1997

Langue:

english

Fichier:

PDF, 8.76 MB

0 / 0

english, 1997

Logic for Applications

Springer

Anil Nerode, Richard A. Shore

Année:

1997

Langue:

english

Fichier:

PDF, 92.79 MB

0 / 0

english, 1997

Automata Theory and its Applications

Birkhäuser Basel

Bakhadyr Khoussainov, Anil Nerode (auth.)

Année:

2001

Langue:

english

Fichier:

PDF, 8.76 MB

0 / 0

english, 2001

Logic for Applications

Springer

Anil Nerode, Richard A. Shore

Année:

1997

Langue:

english

Fichier:

DJVU, 4.65 MB

0 / 0

english, 1997

Logic for Applications

Springer

Anil Nerode, Richard A. Shore

Année:

1993

Langue:

english

Fichier:

PDF, 10.27 MB

5.0 / 5.0

english, 1993

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode

Année:

2020

Langue:

english

Fichier:

PDF, 6.85 MB

0 / 0

english, 2020

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Springer

Sergei Artemov (editor), Anil Nerode (editor)

Année:

2021

Langue:

english

Fichier:

PDF, 6.51 MB

0 / 0

english, 2021

Logical Foundations of Computer Science, LFCS 2020

Springer

Sergei Artemov, Anil Nerode

Année:

2020

Langue:

english

Fichier:

PDF, 4.19 MB

0 / 0

english, 2020

Logic for Applications

Springer

Anil Nerode, Richard Shore

Année:

2012

Langue:

english

Fichier:

PDF, 92.75 MB

0 / 0

english, 2012

Combinatorial Functors

Springer-Verlag Berlin Heidelberg

J. N. Crossley, Anil Nerode (auth.)

Année:

1974

Langue:

english

Fichier:

PDF, 4.27 MB

0 / 0

english, 1974

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 6.01 MB

0 / 0

english, 2009

Hybrid Systems V

Springer-Verlag Berlin Heidelberg

Haoxun Chen, Hans-Michael Hanisch (auth.), Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 5.00 MB

0 / 0

english, 1999

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)

Année:

1997

Langue:

english

Fichier:

DJVU, 3.07 MB

0 / 0

english, 1997

Hybrid Systems

Springer-Verlag Berlin Heidelberg

R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.)

Année:

1993

Langue:

english

Fichier:

DJVU, 3.24 MB

0 / 0

english, 1993

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

Année:

1992

Langue:

english

Fichier:

PDF, 8.42 MB

0 / 0

english, 1992

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

Année:

1992

Langue:

english

Fichier:

DJVU, 4.90 MB

0 / 0

english, 1992

Hybrid Systems

Springer-Verlag Berlin Heidelberg

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel

Année:

1993

Langue:

english

Fichier:

PDF, 23.58 MB

0 / 0

english, 1993

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Année:

1995

Langue:

english

Fichier:

PDF, 6.63 MB

0 / 0

english, 1995

Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

Springer-Verlag Berlin Heidelberg

J. N. Crossley, Anil Nerode (auth.), Prof. Dr. Rohit Parikh (eds.)

Année:

1975

Langue:

english

Fichier:

PDF, 12.48 MB

0 / 0

english, 1975

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Springer

Anil Nerode, Noam Greenberg

Année:

2023

Langue:

english

Fichier:

PDF, 8.52 MB

0 / 5.0

english, 2023

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Springer

Anil Nerode, Noam Greenberg

Année:

2023

Langue:

english

Fichier:

PDF, 8.52 MB

0 / 5.0

english, 2023

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Springer Nature

Anil Nerode, Noam Greenberg

Année:

2023

Langue:

english

Fichier:

EPUB, 19.57 MB

0 / 0

english, 2023

Automata Theory and its Applications

Birkhäuser

Khoussainov, Bakhadyr, Nerode, Anil

Année:

2001

Langue:

english

Fichier:

PDF, 33.73 MB

0 / 0

english, 2001